../../../xilinx_alveo_u250/cl_firesim/scripts/utils.tcl